ASpace(void) ASpace(ASpace& s) ASpace& operator=(ASpace& s) void debug_out(ostream& c, int indent)
Standard housekeeping functions.